1.
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 200...
by Pasareanu, Corina S.
ISBN: 9783642026515
List Price: $74.95
2.
Proceedings of the 2014 International Symposium on Software Testing and Analysis
by Pasareanu, Corina S.
ISBN: 9781450326452
List Price: $99.00
OUT OF STOCK
See Availability on Amazon3.
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Geor...
by Seidl, Helmut, Liu, Zhiming...
ISBN: 9783031177149